Recent Progress in Formal Theory
نویسنده
چکیده
The organizers chose it. I’m not sure what ‘formal theory’ is supposed to cover, but they made the useful suggestion that my job is to summarize the parallel talks. There were 21 talks, covering a good range of interesting topics. With just a little squeezing the talks fall into four broad categories: perturbative methods in gauge theory and gravity, applications of AdS/CFT duality, vacuum energy, and string models of particle physics and cosmology. For reasons of space, I will cite the parallel talks rather than the original papers; please see those talks for detailed references.
منابع مشابه
An Empirical Assessment of the Monetary Approach to Endogenous Technical Progress Theory: DSGE approach
Economis growth is one of the main factors for evaluating the performance of governments. Economic growth itself is influenced by other factors that have been addressed in growth theories. Among the factors examined in growth theories, technical progress is of particular importance due to its long-term effects on growth. In recent growth models, the technological progress considered an endogeno...
متن کاملComputational field theory of polymers: opportunities and challenges
This article highlights my group’s recent progress in developing a new class of computer simulation tools for studying the equilibrium self-assembly and thermodynamic properties of complex polymeric fluids. Our approach utilizes well known formal methods for converting ‘‘particle-based’’ statistical mechanical models of fluids into field theories, but builds on the formalism to develop practica...
متن کاملPriority Setting Meets Multiple Streams: A Match to Be Further Examined?; Comment on “Introducing New Priority Setting and Resource Allocation Processes in a Canadian Healthcare Organization: A Case Study Analysis Informed by Multiple Streams Theory”
With demand for health services continuing to grow as populations age and new technologies emerge to meet health needs, healthcare policy-makers are under constant pressure to set priorities, ie, to make choices about the health services that can and cannot be funded within available resources. In a recent paper, Smith et al apply an influential policy studies framework – Kingdon’s multiple str...
متن کاملSemantic Science and Machine-Accessible Scientific Theories
There has been much recent progress in building ontologies and publishing scientific data based on these ontologies. This paper overviews issues and progress in the other half of semantic science: having machine accessible scientific theories that can make predictions on this data and can be used for new cases. This paper presents the grand vision, issues that have arisen in building such syste...
متن کاملHow Linear is Howe?
In recent years there has been much progress in the use of operationally based methods for reasoning about programs. Notions such as contextual equivalence and bisimilarity, which are historically more usually associated with functional programming and concurrency respectively, have been shown to be very closely connected, and such connections can be seen throughout the functional, concurrent a...
متن کامل